SoftArch/MTE: Generating Distributed System Test-Beds from High-Level Software Architecture Descriptions
نویسندگان
چکیده
منابع مشابه
Generation of Distributed System Test-Beds from High-Level Software Architecture Descriptions
Most distributed system specifications have performance benchmark requirements. However, determining the likely performance of complex distributed system architectures during development is very challenging. We describe a system where software architects sketch an outline of their proposed system architecture at a high level of abstraction, including indicating client requests, server services,...
متن کاملHigh-Level Test Synthesis from Behavioral Descriptions
A novel full design and test generation system with combined High-Level Synthesis (HLS) and automated Hierarchical Test Pattern Generation (HTPG) was developed and experimented in cooperation between Linköping University and Tallinn Technical University. The high-level synthesis is based on an internal model of Extended Timed Petri Net (ETPN) representations. In the test generator both, registe...
متن کاملAnalyzing Software Architecture Descriptions to Generate System-level Tests
Generate System-level Tests Aynur Abdurazik, Zhenyi Jin, A. Je erson O utt, and Elizabeth L. White ISE Department ITT Industries CS Department Software Engineering Research Lab Advanced Engineering and Sciences Software Engineering Research Lab George Mason University 1761 Business Center Drive George Mason University Fairfax, VA 22030-4444 USA Reston, VA 22090 Fairfax, VA 22030-4444 USA +1-703...
متن کاملGenerating Parallel Code from High{level Neural Network Descriptions
Much work has been done in the area of parallel simulation of connectionist systems. However, usually parallel implementation issues for arti cial neural networks have been discussed in general terms, but the actual parallel programs implement speci c network models and are written in programming languages like C or C++. This paper deals with the transparent parallelization of neural networks. ...
متن کاملGenerating Test Cases from Software Documentation Title: Generating Test Cases from Software Documentation
In this thesis, we develop tools and methods to assist in veri cation of large software systems. In particular, we will apply the complete coverage principle to generate test cases automatically from tabular expressions used in software documentation. Multi-dimensional expressions called tables are used in software documentation so that formal documentation can replace conventional documentatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automated Software Engineering
سال: 2005
ISSN: 0928-8910
DOI: 10.1023/b:ause.0000049207.62380.74